More from this Author
Found 9 books by Ferruccio Damiani (Editor)
Formal Verification of Object-Oriented Software
by Bernhard Beckert (Editor), Ferruccio Damiani (Editor), Dilian Gurov (Editor)
Coordination Models and Languages
by Ferruccio Damiani (Editor), Ornela Dardha (Editor)
Types for Proofs and Programs
by Stefano Berardi (Editor), Mario Coppo (Editor), Ferruccio Damiani (Editor)
Formal Methods for Executable Software Models
by Marco Bernardo (Editor), Ferruccio Damiani (Editor), Reiner Haehnle (Editor), Einar Broch Johnsen (Editor), Ina Schaefer (Editor)
Types for Proofs and Programs
by Stefano Berardi (Editor), Ferruccio Damiani (Editor), Ugo de Liguoro (Editor)
Formal Verification of Object-Oriented Software
by Bernhard Beckert (Editor), Ferruccio Damiani (Editor), Dilian Gurov (Editor)
Formal Methods for Executable Software Models
by Marco Bernardo (Editor), Ferruccio Damiani (Editor), Reiner Haehnle (Editor), Einar Broch Johnsen (Editor), Ina Schaefer (Editor)
Types for Proofs and Programs
by Stefano Berardi (Editor), Ferruccio Damiani (Editor), Ugo de Liguoro (Editor)
Formal Methods for Components and Objects
by Bernhard Beckert (Editor), Ferruccio Damiani (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor)